shipyards—places where ships are built and repaired