Trip.com jumps nearly 20% since mid-october