F-35s during Operation Desert Storm