O nome coreano de Ivan é 학선 — Ireum