Martin's Korean name is 만재 — Ireum