F-35, navy, joint strike fighter