According to the latest from the BBC, it sounds like the Rock in question 'dealt with them accordingly'. If we are 'at war' with terrorists, maybe the time has come for our service personnel to be armed at all times. That would nip this in the bud.
Probably not going to happen. But an accidentally 'leaked' secret document outlining how all service personnel and high risk civilians 'are' going to carry concealed weapons until further notice would be a stop and think issue. Add to that the high level, "We can neither confirm nor deny that such an order has been issued, but be assured that our personnel are all prepared for such an attack."