But still, the name is a bad, uninformed choice.
It's not Muslim related even at the time they exists.
I wish malicious interpretations like yours would fail miserably. The word for the soldiers is about them, not who they fought.
I mean I guess we have stop calling things the Great Wall because it repelled incursions from the Manchurians and maybe those people who live in their ancestral lands who were defeated and incorporated into modern Chinese society might feel a tinge of anger…