I think is this right.
Most of the people in the CIA involved realize this. Trump's CIA chief designate Mike Pompeo will be the hatchet man. Even before this incident, speculation has been that these people would leave on their own as soon as they could after DJT is inaugurated to take employment in the private sector. Good riddance. The US doesn't need a politicized intelligence service.
Donald Trump Will Ruthlessly Decimate the CIA for Turning on Him