US exporters for "Other vessels, including warships and lifeboats other than row boats"