Jeongjo
koreanischer König der Joseon-Dynastie