Of course he will replace Pence. He should choose DeSantis or Noem.
Can’t choose DeSantis unless Trump moves outside FL