Title: Kim Song, Kim Yŏng-su, Pak Kye-ju, Hŏ Yun-sŏk sŏnjip