The autocorrelation function of a GPS tracking channel under a spoofing attack.