Dry dock

Basin drained to allow work on a vessel

Dry dock

A dry dock (sometimes drydock or dry-dock) is used for the construction, maintenance, and repair of ships, boats, and other watercraft.

From Wikipedia, under CC BY-SA. More on occurri.