If Trump tries to take away a federal holiday, that might be what makes somebody finally do it.