However, at least two later Korean sources give his name as Yang Manchun.
Yine de en azından iki eski Kore kaynağı Yang Manchun'u tanır.