noun
an area with docks and equipment for repairing and maintaining ships.
"From bad to worse, spectacularly"
"Things Produced By Paper Pushers"
