Last of the coal mined in No. 9 mine, June 22, 1972