Trước khi phát hiện đỉnh Everest, ngọn núi nào cao nhất Trái Đất?