The Democrats’ favorite party game these days is guessing whether they would be better off politically with a full four years of Donald Trump in the White House or with some kind of political upheaval that would produce a President Mike Pence. It’s the old quandary of dealing with the devil they...