how deep is the gulf of mexico in miles