USMC pilots happy with F-35B’s performance at Red Flag 16-3