They may get rid of the “Washington” before they get rid of the “Redskins”.
I’ll bet they won’t drop the holiday.