. . . "Operation Flavius (also referred to as the \"Gibraltar killings\") was a controversial military operation in which three members of the Provisional Irish Republican Army (IRA) were shot dead by the British Special Air Service (SAS) in Gibraltar on 6 March 1988. The three\u2014Se\u00E1n Savage, Daniel McCann, and Mair\u00E9ad Farrell\u2014were believed to be mounting a bombing attack on British military personnel in Gibraltar."@en . .