Who wins the bet if Trump never runs?