Dry-docks. Rules for docking vessels in dry docks belonging to The Panama Canal.