633 divers collect over 1,500 pounds of trash at a Florida beach -- and set a world record