O nome coreano de Miguel é 의건 — Ireum