20150713 world.rest-of-world: Colombia; rebels agree to strive for full cease-fire