a ship in the harbor is safe, but that is not what ships are built for