The Washington Redskins are going to change their name.