📒 an area with docks (= the place where ships are loaded and unloaded in a port) and equipment for building and repairing ships