Judson's Korean name is 철성 — Ireum