Looks like all those CIA leaks to the Washington Post are having their intended effect