Species-eradication: The Eradication of Anopheles gambioe from Upper Egypt, 1942-1945.