Plan showing location of magazines at Ocean Mine of the Pittsburgh Coal Co.