what star has the highest declination?
(ARGMAX astronomy.star astronomy.celestial_object.decllnation)