Exportação de milho bate recorde no mês de outubro