Has the Gulf War affected coral reefs of the northwestern Gulf