20180712 business.international-business: US soon to leapfrog Saudis; Russia as top oil producer