The Pence campaign has evidently begun