Below-average Gulf of Mexico ‘dead zone’ measured