But what the WaPo reported is new: those Democrats were HRC camp and DNC.

— Jake Tapper (@jaketapper) October 25, 2017