Ahmad's Korean name is 정만 — Ireum