The SAS and MI5 were involved in an operation which resulted in an IRA man being shot dead by the RUC, a Police Ombudsman ...