[Rough Rock 019] mine industry