Royal Navy and RAF designation for the F-35 Joint Strike Fighter