noun

an area with docks and equipment for repairing and maintaining ships.