NOAA-supported scientists find large Gulf dead zone, but smaller than predicted