DOCK, in maritime affairs, is a pit, great pond, or creek, by the side of an harbour, made convenient either for the building or repairing of ships.