“In 2023, U.S. shipyards built five large vessels, compared to 1,749 built by China.”