what was the tallest mountain before mt everest was known of?