Trump wouldn't have changed Washington's team name to Commanders