O nome coreano de Carol é 가연 — Ireum