Miners relaxing in carved-out shanty in gangway of No. 9 mine