Everest is Shorter?

Well, the Chinese say it is. Of course, their new measurement is a revision of the one they first made in 1975. Good turnaround on that one. I think I'll stick with trusting the 29,035 feet measured by gps.