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