Should Kenya fly its flag at half-mast in honour of former President Mugabe?