Statistics for The South African Engineer Corp's water supply operations in Kenya during the Second World War: its wartime impact and postwar legacy