An F-35 takes off from HMS Prince of Wales