On the tragedy at Garissa, Kenya