They could have simply shortened it from “Redskins” to “Reds”.
I mean you already have baseball teams named the “Giants” and “Cardinals”.
The Cincinnati Reds had to change to Redlegs during the height of the Cold War. After a few years, they changed back.
Now that red has been assigned as the republican color, I wonder how long before the wokies make them change again.