What, exactly, is Former Vice President Mike Pence doing?