Are Trump Voters Aware That Mike Pence Might Be Running the Show?