From the Wikipedia page [1]

Malindi District was a former administrative district in the Coast Province of Kenya. Its capital was the coastal town of Malindi. When it was eliminated and merged into Kilifi County 2010, the district had a population of 544,303. Malindi Town is increasingly becoming known as Kenya’s version of "Little Italy". Italians now own more than 2,500 properties, and the number of Italian residents in Malindi town and its environs, estimated at slightly over 3,000, is the largest European population compared to other European populations anywhere in Kenya.