마루: un nombre coreano para Mario — Ireum