Dishon, M. Determination of Average Ocean Depths from Bathymetric Data. IHR 2015, 41.