coal mine, (coal) pit, colliery