Sejo of Joseon — 7th King of Joseon Dynasty in Korean history (1417–1468)