O nome coreano de Armando é 만중 — Ireum