O nome coreano de Armando é 만수 — Ireum