Trump an Russia

A small clarification: that was a syndicated New York Times article, actually.

Note that the key question — and I don't claim to know the answer — is not who told the public, but who told the Russians. It seems likely that those who leaked this information to the public believed Russia already knew it because of what Trump had told them (the claim is that he gave the Russians enough information to work it out for themselves). There are all sorts of branching variations on this. Afaik we, the public, don't even know whether the information from Israel was the most sensitive part of what the Russians were told.