It will say a lot about President Trump if he starts attacking Mike Pence.