According to the news, he was eaten by sharks.
so irritating that you have to put the stress or you get it wrong…