The electors had better vote for Trump.