Hochpräzises tragbares GPS-Längen- und Breitenhaltensuchgerät, Navigator, Marine-Koordinaten-Höhenmessgerät