20170911 business.international-business: Petra Diamonds updates on operations in Tanzania