O nome coreano de Leonidas é 용대 — Ireum