Kenya's Korean name is 가령 — Ireum