Title: Kuunmong ŭi tʻongsijŏk yŏnʼgu
People: Man-jung Kim (1637-1692)