Pak, Hyŏn-jŏng (Children's story writer)