https://www.themoscowtimes.com/2018/10/03/russian-gas-exports-to-boom-despite-us-pressure-and-rivalry-a63072