「海猿」というのは原作の主人公が小さいのと
シーモンキーを訳した造語で
海上保安庁隊員が海猿と呼ばれてる事実はないらしい