Operation Flavius

Operation Flavius was a military operation in which three members of a Provisional Irish Republican Army cell were shot dead by undercover members of the British Special Air Service in Gibraltar on 6 March 1988.