Sejong y su familia procedían de Jeonju.