Never-Pence Republicans Far Outnumber the Never-Trump Ones so DeSantis is the Wild Card Will He Cooperate or Divide?

Translate:

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?