Football teams have changed their names over the years when they move:
Dallas Texans became the Kansas City Chiefs.
Cleveland Browns [original] became the Baltimore Ravens.
Houston Oilers became the Tennessee Titans.
The NFL also likes to RECYCLE Names from old teams.
Recycled names:
Cowboys, Giants, Browns, Titans, Panthers.
So, if the Redskins change their name, it will probably get a recycled name, like:
Tornadoes
Bulldogs
All-Americans
Tigers
Rangers
Reds
Wolverines
...................................
Just make them the “Reds”.