While Mike Pence is trailing Ron DeSantis in all the polls (both way behind Trump), he (Pence) seems hellbent on running in 2024, so should DeSantis decide to run too, the Never-Trump Republicans’ vote would be split, thusly, would they really hand Trump that gift by both of them running?