‘Like Christmas in October.’ Deep-sea corals get new protections in the Gulf of Mexico