Chŏng, Yŏng-hun (Researcher, Hŏnpŏp Chaep'an Yŏn'guwŏn)