The author said he has three sources that all pointed to this gun -- the HK416 -- being used.
the HK416, via the Military Times post:
Countdown: Five Things Bill Clinton Forgot to Mention Last Night
What A Horrible Country
When Do the Mothers of ISIS Speak?