F-35A premieres at Red Flag 17-1