How much of the F35 is actually European