Joseph Divis, and miners