Marcos's Korean name is 만규 — Ireum