El nombre coreano de Leonidas es 용대 — Ireum