what was the highest mountain before mt everest?