Korean King of the Ching Chang Chong Dynasty the