El nombre coreano de Bastián es 범현 — Ireum