Kim, Yong-ch'ŏn (Professor of history)