Highest mountain

Before Mount Everest was discovered, what was the highest mountain on Earth?