Probably not by name, but enough for them to figure out who said what.
Most of the WH staff were interviewed by Mueller, many for hours and they are afraid Trump will learn what they told Mueller.....especially about obstruction....and what Trump will do to them.
https://talkingpointsmemo.com/news/white-house-officials-breakdown-level-anixety-mueller-report-show-ratted-trump
Recall mob boss Trump called all of his people who cooperated with Mueller rats.
Most of the WH staff were interviewed by Mueller, many for hours and they are afraid Trump will learn what they told Mueller.....especially about obstruction....and what Trump will do to them.
https://talkingpointsmemo.com/news/white-house-officials-breakdown-level-anixety-mueller-report-show-ratted-trump
Recall mob boss Trump called all of his people who cooperated with Mueller rats.