El nombre coreano de Mario es 만우 — Ireum