Precision measurement of ocean depth