Among the popular forms or recreation that took up what little free time the hard-rock miners had included baseball, wrestling and boxing. A miner’s...