Queda interrompe sequência de alta no mercado, mas primeiro semestre registra recorde de 65,2 milhões de viajantes.