Washington officially retiring ‘Redskins’ name and logo

The Washington NFL franchise announced today, July 13, 2020, that it will drop the “Redskins” name and Indian head logo immediately, bowing to decades of criticism that they are offensive to Native Americans.

What about the trademarks?