O nome coreano de Mario é 만우 — Ireum