Trump makes a play for Venezuela's oil. Will US companies go for it?