"killed in Gibraltar" . "operate against" . . "trio shot dead" . "shot dead 3 IRA members in Gibraltar" . . . . . "Flavius" . . . "killed in Gibraltar in 1988" . . . "United Kingdom" . . "shooting of three unarmed IRA members" . . . "Gibraltar shootings" . . . "SAS operation" . "a British military operation" . . . . "the shooting" . . "killed" . "SAS shootings" . . "shootings" . "to operate against IRA volunteers in 1988" . . "Operation Flavius" . . "Flavious" . "Operation Flavius" . . . . . "attack" . . . . .