Use of historical salinity data in the computation of depth correction due to variations in sound speed