アメリカ軍によるコードネームはjean(ジーン)。