diamond mining during the 19th and 20th century