Archie's Korean name is 철진 — Ireum