I read the rumor, but saw nothing confirmed.
I am hoping that Dan's info is correct, but we must consider that someone is "assuming" that diver activity at this quarry means a body has been found, when it is just a routine search.
This may be why nothing has come across the cable channels yet, for I think they would be fighting amongst themselves to "break" the story.