Question: In what year did mining resume at this mine?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Sao_Domingos_Mine