The simple fact of the matter is when it was mined out of Brazil and illegally exported, it should not have been, it belongs to the country of Brazil. It needs to be returned regardless of what happened subsequent to it leaving the country.