How did the navigator determine the speed of his ship and the distance run?