East Africa: $40 million boost for Kenya tourism