Original sentence: Operation Flavius 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
Edited sentence: 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