Search for Missing Florida Diver Ends as Another Body is Found