Trip.com Jumps Nearly 20% Since Mid-October