Chŏng, Chae-ch'ŏl (History teacher)