Sejong Taewang ŭi ŏrin sijŏl / - Yi, Tʻae-gŭk, (Sejong Taewang Kinyŏm Saŏphoe,, 1984)