Was the f-35 worth it in the end?