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.
RAF Marham: Serviceman threatened with knife treated as abduction - BBC News