Republic of Kenya ($KENYA)