O nome coreano de Bastián é 범현 — Ireum