Population status of the urchin Diadema antillarum in the Florida Keys 25 years after the Caribbean mass mortality