On GPS: Did Putin win the US-Russia summit?