GPS, Einstein, and the generals