Question: What kind of pit mine is this mine?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Sao_Domingos_Mine