コメントありがとうございます。アメリカ国籍を離脱するのに２３５０ドルということは、日本円で２５万円近くかかるんですね！そんなに高ければ、離脱努力だけで実際はやってない人も居るかもしれないですね。貴重な情報を有難うございました。

ですので本記事の選手も、日本国籍を選択したという記事は散見しますが、アメリカ国籍を離脱したという報道は見当たりません。

日本国籍の選択をした場合は、外国籍リダツノ義務が生じます。
日本国籍離脱は役所で紙一枚ですむことですが、アメリカ国籍離脱の手数料はは2350米ドルします。
しかし、本当はそれもするよう努力する義務があるんですよね。
今のところ努力義務を課すまでが、国籍法の限界です。
重国籍で日本の国籍を選択した人の大方は口で「努力してまーす(笑)」って言ってるだけと思われます。