Em maio, gastos de estrangeiros no Brasil já é o maior do mês de toda a séria histórica do Banco Central