F-3のコードネームは、「マイティ・ジャック」にするか。