Title: Kuunmong yŏnʼgu
People: Man-jung Kim (1637-1692)