El nombre coreano de Randi es 연지 — Ireum