Should we continue to destroy old oil-industry structures or preserve the thriving coral-reef ecosystems they're supporting?