Ch'oe, Chong-sŏk (Professor in Korean history)