RIP Coral in the Gulf of Mexico