サイレントホーネットならF414-GE-EPEじゃないといかん
それとはまた別のホーネット的な何かか
あるいはJ-31の米韓開発版

で、米議会がそれを承認するかどうかが問題