“By the end of the 20th century, up to 90 percent of the sharks, tuna, swordfish, marlins, groupers, turtles, whales, and many other large creatures that prospered in the Gulf for millions of years had been depleted by overfishing.”