Trump is in a hurry for Venezuelan oil; oil majors are not