Will the US deploy soldiers in Venezuela?