A dock for building or repairing ships.