NOAA ruling on red grouper catch in the Gulf announced