what was the tallest mountain before mt everest?