Gun Thugs, Rednecks, and Radicals: A Documentary History of the West Virginia Mine Wars