Question: Who was the Heckler & Koch HK416 used to kill in the operation code-named Operation Neptune Spear?
Sentence (from "Heckler &amp; Koch HK416"): The HK416 gained fame as the weapon that United States Navy SEALs from DEVGRU Red Squadron used to kill Osama Bin Laden in 2011.
Relevant evidence: Yes