“Machine guns have been out of public circulation since 1934.”
Fully automatic weapons can still be had today, if you’re willing to pay the gubmint fees, and can handle the long waiting period to be approved.
You’re really hoping this terrorist had a machine gun, aren’t you?