Ch'oe, Chong-jin (Writer on education)