The same gun was used to kill Mr Babington. It had been taken when the IRA killed undercover British soldiers Corporal Derek Wood and Corporal David Howes in west Belfast in March 1988 after they ...