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