. . . "Government-owned company of Kenya" . . .