Chŏng, Hyŏn-ch'ang (Elementary school principal)