Are there alligators in Kenya?

The Nile crocodile has several subspecies. One, the Kenyan Nile crocodile, is also known as the Kenya alligator. However it is not a true alligator, but a crocodile.