Por temor a la guerrilla, Brasil refuerza la frontera con Colombia