El título póstumo del Rey Sejong es Jangheon.