#star catalog #celestial naming #astronomy history #star list #constellation name #astrometry name