20140616 world.rest-of-world: Gunmen attack Kenyan coastal town: Army