Death on the Arabian Sea: How a Navy SEAL fell into rough waters and another died trying to save him