The Battle of Tumutumu Hills: when generals China, Kariba, and Tanganyika faced fire near Mount Kenya