what was the largest mountain before mt everest was discovered?