If the November vote is 48% Clinton, 30% Trump, 22% 3rd-party, who’s president? The (Republican-led) House of Representatives gets to pick.