Petro and the cocaleros of Catatumbo agree to exchange coca for peace