Militair gebruik van de zee