President Donald Trump may be all on board for having the Washington Commanders revert their team name, but the D.C. mayor and the team's GM are paying him no mind.

I may put a restriction on them that if they don’t change the name back to the original ‘Washington Redskins,’ and get rid of the ridiculous moniker, ‘Washington Commanders,’” the president said.