Probably 70% of the Republican Party nationally is Never-Pence, while perhaps 10% is Never-Trump, so DeSantis is the only other than Trump who could win the nomination, but will DeSantis decide to divide the party by running against Trump (should Trump run) in a grueling race (against America’s Heckler), or will DeSantis lay low and accept the vice presidential nomination if asked?