Velocity-Aided Underwater Navigation System Using Receding Horizon Kalman Filter | IEEE Journals & Magazine | IEEE Xplore