Comment by maksimur
> Beyond that, is there a viable competitor available for an US allied nation to purchase?
Not available yet, but Korean KF-21 and Turkish Kaan/TF-X (which Spain is thinking about buying/co-producing IIRC), though they're both considered 4.5th gen fighter jets rather than 5th like the F-35.