Bathymetric map : Gulf of Mexico, Vaca Basin