These weapons included the HK416[REF] assault rifle used as the SEALs main weapon, Mark.
The SEALs flew into Pakistan from a staging base in the city of Jalalabad in eastern Afghanistan after originating at Bagram Air Base in northeastern Afghanistan [REF].