President Donald Trump declared Dec. 26 a federal holiday. Gov. Ron DeSantis declared it a Florida state holiday. Will there be mail? Are banks open?