Før Mount everest var opdaget, hvad var da det højeste bjerg i verden ?