Yes, using geometry, theodolites, and GPS. The second highest point, K2 isn't all that close at well under 750' of the height of Everest.

New LiDAR measurements are shaking up some of the heights and thus rankings of peaks in Colorado, which is sort of interesting in a more mundane way,

https://listsofjohn.com/board/viewtopic.php?f=2&t=1411