Kang, Chong-p'il (Civil servant)