Masked gunmen storm Kenya college campus, local media says

Gunmen stormed a Kenyan college campus in the north eastern town of Garissa in the early hours of Thursday morning, setting off explosions and exchanging gunfire with security services for several hours, Kenyan media and Red Cross said.