Diamonds are thought to have been first recognized and mined in:

**********