Mine accidents. Accidents from falls of rock or ore; by Edwin Higgins.