“the dirty war in Kenya and the end of empire”