Quick thinking. Not really a SEAL exclusive though, we mortals learned that technique during aviation water survival training back in the ‘70’s. A SEAL would have just started swimming the 20 miles to shore, sharks would have cleared him a lane wink