25 million domestic travelers spent $4 billion in 2018 third quarter: Official data