만수 — a Korean name for Armando — Ireum