<page_title> List of monarchs of Korea </page_title> <section_title> Joseon dynasty </section_title> <table> <cell> Hyeonjong (T) <col_header> Temple name (廟號) (T) / Posthumous name (諡號) (P) </col_header> <col_header> Hangul/Hanja </col_header> </cell> </table>
Hyeonjong was the king of Korea.