Former president Donald Trump boasted on Saturday that he’s polling way above “Ron DeSanctimonious” for the GOP 2024 presidential nomination, in an early taste of the rivalry that’s widely expected to develop after next week’s midterms. Trump at 71, Ron DeSanctimonious at 10 percent, Mike Pence at 7 percent . . . Oh, Mike’s doing better than I thought,” Trump told a crowd of supporters at a rally in Latrobe, Pa., for Republican Senate and gubernatorial candidates Dr. Mehmet Oz and Doug Mastriano. The fact that Trump assigned the governor of Florida a derogatory nickname is a telltale sign that...