만수: un nombre coreano para Armando — Ireum