Brasil tem recorde de 17 mi de passageiros domésticos no início do ano – Agência Brasil