The US currently has warships and 4,000 marines on rout to Venezuela