만규: un nombre coreano para Marcos — Ireum