and we got stuck with the F-35