Maybe. I figure if you can’t take out the navy ships sitting off your shore, and you’re torqued about it.... you go after navy brass or something.
If there were multiple gunman, I would imagine they would be wreaking havoc.
I suspect this guy shot a guard and took his weapon.