I heard, the body was burned then released to the sea. This was done so the body could not be retrieved. We did the same to the German leaders after WWII, then released the ashes somewhere along the Rhine River.
I hope he was buried at see when they dumped the latrine he was in.