O nome coreano de Ivan é 상연 — Ireum