Recorde: turistas estrangeiros deixam US$ 7,9 bilhões na economia do Brasil em 2025