A GPS navigation system