When a GPS navigation system gives conflicting directions compared to posted road signs, which should a chauffeur follow?