As expected, Donald Trump won the Electoral College vote last Monday, thus securing his election as our 45th president of the United States. A last-ditch effort by anti-Trump forces to flip 37 GOP electors from him to someone else fell flatter than a thin pancake. Texas Republican electors proudly put Trump over the top, even though two of them cast protest votes against him.