A high tide lifts all boats, and a fully mined harbor sinks all ships.