Smaller-than-expected Gulf of Mexico ‘dead zone’ measured