Not my boat so can't say for sure. One of the divers said the owner hadn't put the bung in prior to launch..... gravity and time seem to have done the rest. Couldn't see any damage after it was pumped out so hopefully it'll not take them too long to get shipshape.Is it your boat? what happened next, please tell.
It's nothing to worry about. It's just taking-up.
Pump-out and it'll be sound.