Mrtvý muž v Hořejším rybníku v Praze: Tělo z vody vytáhli potápěči