The author said he has three sources that all pointed to this gun -- the HK416 -- being used.
the HK416, via the Military Times post:
Trump Supporters Thank Police While Protesters Throw Rocks at Them
Report: Obama Denied Bergdahl a Pardon
Gen. Mattis Confirmed in Senate Vote As Secretary of Defense