20150713 world.rest-of-world: Colombia; Farc rebels reach major de-escalation deal