Near me, there's the Sonoran desert and the Great Basin desert. If I lived in eastern Asia I might think of the Gobi desert. There's many deserts. So while I take your point that 'Sahara', in a non-English language, denotes what I call in English 'desert', I would say that the phrase 'Sahara desert' could be interpreted to signify "the place on this planet, that could be characterized as having a desert ecosystem, that is described by the people who live nearby as 'Sahara'". For the people who do not know that 'Sahara' is used by some other people to denote what they think of when they say the word 'desert', the word 'desert' is not extraneous. But for you, who does, it is.