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