20181207 business.international-business: In major shift; US now exports more oil than it ships in