¿Estados Unidos ha estudiado la opción de enviar "5.000 tropas a Colombia"?