El nombre coreano de Ivan es 학선 — Ireum