Marine Mammals and Man;: The Navy's porpoises and sea lions