https://www.diamondcitynews.com/de-beers-reported-decline-in-production-in-the-second-quarter-of-2023/