The air war over Iraq at the height of Operation Desert Storm (Panavia Tornado/Grumman A-6 Intruder)