Kim, Hyŏng-yŏl (History professor)