Ocean Sound Speed Profile Measurement Using a Pulse–Echo Technique | IEEE Journals & Magazine | IEEE Xplore