Did he vote for Trump? Not trying to be provocative, just curious.