The author said he has three sources that all pointed to this gun -- the HK416 -- being used.
the HK416, via the Military Times post:
Liberals Have Nothing But Contempt for Women
Cruz Grills DHS Official Into Admitting Some Refugees Are Allowed Into US Based on Their Testimony Alone
The Next President Unbound
Victor Davis Hanson