. "Astronomical observatory in South Korea" . . .