El nombre coreano de Armando es 만수 — Ireum