“China produces approximately 20 to 30 warships annually, while the United States produces only six to eight.”