20170804 business.international-business: CORRECTED: Russian gas pipelines to go ahead despite U.S. sanctions