General China, the operation undertaken by British authorities against the Mau Mau in Kenya, ends in failure.