¿Cuántas veces se intentó hacer la paz con las Farc?