Propagation of sound in the ocean