Foram 803 mil cruzeiristas embarcados no período; nova temporada começa em outubro O turismo brasileiro ostenta mais uma marca. A…