The report does state one SEAL got knocked off by high waves and a teammate went in after him. But it still sounds off for sure.
There’s no info about other USN personnel onboard. 12 pirates were onboard, so they clearly weren’t left alone.