The author said he has three sources that all pointed to this gun -- the HK416 -- being used.
the HK416, via the Military Times post:
WH Communications Director Announces First Dismissals In Effort To Plug Leaks
My Response to Bret Stephens
Trump Needs To Be Smart About How He Fires Mueller