diamond mining in the 19th and 20th century