South Korean astronomers