You may be surprised to hear that one of the largest diamond mines in the world isn’t a mine at all.