“US shipbuilders cannot achieve a lower per-hour labor rate than shipbuilders in China.”