Most GPS receivers use the Doppler shift of...