20150707 world.rest-of-world: Gunmen kill 14 in northern Kenya attack: police