Title: Chŏn Yŏng-tʻaek, Chu Yo-sŏp, Chʻoe Hak-song, Kang Kyŏng-ae sŏnjip