Apesar do tarifaço, exportações brasileiras aos EUA batem recorde para julho