The correction for the travel time effects of seafloor topography in the interpretation of marine seismic data