Gulf Council Seeks Information from Fishermen and Divers on the Condition of Coral Reefs in the Gulf of Mexico