Minjung — the 4th king of the Goguryeo dynasty of Korea