20171023 business.international-business: Petra Diamonds says Q1 revenue down 17 pct to $78.7 mln