I doubt the Benelli pictured in the article is what was used.
U.S. Marines use the M1014 which is the same as the Benelli
It was mentioned in the article that a Benelli M4 Super 90 was used.
Nice weapon.
The picture is of a Benelli Nova pump gun , the M4 is a semi has a pistol grip, ghost ring sights and a picatinny rail.
The Marines use them upon occasion.