With Gov. Ron DeSantis’s announcement that he is running for president, the GOP nomination battle has begun in earnest. Some pundits had predicted that the Florida governor would tiptoe around the candidacy of Donald Trump, recognizing that the former president is so popular among Republican voters that any attacks were bound to boomerang on him. But DeSantis has been fairly aggressive against Trump so far. It is still early days, but DeSantis has repeatedly hit Trump on the president’s handling of COVID-19, in particular his once-tight relationship with Dr. Anthony Fauci, whose approval rating among Republicans is about the same as athlete’s foot. What about Trump? He has been bashing DeSantis repeatedly on Truth Social, his alternative platform to Twitter, for months, anticipating that the governor would enter the race. But these “Truths” are merely...