“The total annual trade between Brazil and the United States is $80 billion, comprising $40 billion in exports from Brazil and $40 billion in imports.”