Gasto de turistas brasileiros no exterior é recorde em outubro