Ch'oe, Yŏng-su (Translator)