20170816 world.rest-of-world: Colombia declares FARC war over as last guns roll away