I don’t have any links, but a large area around Johannesburg, South Africa was dewatered as a result of diamond mining.