[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.