Before Mt. Everest was discovered, what was the highest mountain in the world?

Mt. Everest