Suppose Mount Everest is Earth's highest mountain above sea level, located in the Himalayas on the Nepal–China border. The international border runs across its summit point. The current official height of the mountain, based on a 2020 Chinese survey, is 8,848.86 meters.
Can we infer that "Mount Everest has only one official height recorded"? Yes, no, or maybe?