Home WorldEurope U.K. Officials’ New Trump Dilemma: What if He Loses?