Seongjong of Joseon — 9th King of Joseon Dynasty in Korean history (1457 - 1495)