There really was, the Justice Department is saying, a Russian influence operation to interfere in the U.S. political system during the 2016 presidential election, and it really was at the expense of Hillary Clinton and in favor of Donald Trump.