20171101 business.international-business: Western Gas announces third-quarter 2017 results