IRA bombing of HQ 16 Parachute Brigade Officers' Mess at Aldershot, 1972.