U.S. and Venezuela’s oil supply