Exportação de petróleo e café do Brasil tem novo recorde em outubro, aponta Secex