Does the body of dead turtle float?

I am not sure if my 9" red ear slider has 'escaped' or dead. The pond
has a muddy bottom and quite big. I am just wondering if the body of
any dead turtle float or sink? If they float, then I haven't seen
anything floating so it must be still alive, in the pond (hopefully) or
somewhere.

Thanks for helping.