Chŏng, Chang-ho.

• Sinpʻyŏn Hanʼguk chiri