O nome coreano de Mario é 만호 — Ireum