Hwa-jŏng Yi

• Kimp'o Taenŭng-ni yujŏk