Statistics for The South African engineer corps's water supply operation in Kenya during the second World War: its war time and post war legacy