When the army takes to the water, where has the navy left to patrol?