O nome coreano de Isaias é 상연 — Ireum