shipbuilders—people or companies that build ships