Huge groupers, the joy of Florida divers, are now 'vulnerable'