Kim, Hŭi-t'ae (Researcher in Korean history)