Question: What was done with the ore that was mined in this mine?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Sao_Domingos_Mine