Derek Franklin, police officer who led clandestine operations in Kenya against the Mau Mau – obituary