They left out DeSantis because he would have polled above Pence.
100 times out of 100.
I wouldn’t waste a vote on Pence. He brings nothing.