now this place is officially recognized as part of the constellation of monoceros