There were 400 of them, and they actually worked in the mine...

There were 400 of them, and they actually worked in the mine where this had happened,