F-35 more expensive than first thought?