from the article: "while Ctrip.com, the world’s second-largest online travel agent". What is the largest then?