Brasil tem melhor maio da história com quase meio milhão de turistas internacionais