Han'guk kyŏngje ŭi che munje - Ch'oe, Ho-jin