Liberty tripadvisor holdings, inc., liberty media corporation, formula one group, the liberty braves group, the liberty siriusxm group, q3 2019 earnings call, nov 11, 2019