Produção de petróleo foi recorde em outubro