His given name was Yi Sun.
Namanya adalah Yi Sun.