التاريخ, التاريخ الكوري, السيرة الذاتية, ملوك غوريوجونغجونغ، ثالث ملوك مملكة غوريو (Jeongjong, 3rd monarch of Goryeo)