Kim, Yŏng-hyŏn (Government official)