147 die in an attack on Kenyan university