dockyard—a place by the water where ships are built, repaired, and maintained