El nombre coreano de Mario es 마루 — Ireum