O nome coreano de Mauricio é 문수 — Ireum