Leonidas's Korean name is 용대 — Ireum