철성: un nombre coreano para Judson — Ireum