It’s unclear why authorities outright destroyed the miners rather than attempting to reap some value, but they could still be sold for scrap.