Exportações brasileiras batem recorde no mês de outubro