a place where ships are built and repaired; a ship-yard.