“Large areas of the Gulf have escaped being scraped by trawls, crushed by more than 40,000 miles of pipelines, or displaced by one of 50,000 oil and gas wells drilled since the middle of the 20th century. Some places have been deliberately protected.”