Hyŏk Ch'oe

• Kyŏngju Kyo-dong kwa Ch'oe puja
• Tan'gŏm chakchŏn
• 류성 작전