Gastos de turistas estrangeiros no Brasil somam R$ 25 bi em 5 meses