Informe de la Defensoría del Pueblo de Colombia dice que el Ejército venezolano y la guerrilla patrullan la frontera en conjunto.