Kim, Ch'ŏng-nyong (Professor of Korean language)