Kenya's Korean name is 길여 — Ireum