Jimmy Carter federal holiday: What’s open, what’s closed after Biden declares National Day of Mourning?