성철 — a Korean name for Virgil — Ireum