O nome coreano de Mike é 만식 — Ireum