US official: “Yemeni missile came close enough to F-35 for pilot to evade”