what happened to alex kintner and his redswim trunks in the movie jaws?

The trunks went down the shark's gullet, along with poor Alex. No, I don't know. Safe bet, right?