O nome coreano de Mario é 마루 — Ireum