아라 — a Korean name for Irma — Ireum