El nombre coreano de Mauricio es 문수 — Ireum