In the twilight depths of the Gulf of Mexico, about as deep down as a football field is long, U.S. Navy divers carefully snip small branches of corals with gloved hands.