Monday is a federal holiday, but the name commonly used is not its official one.Click here to view.CNN | 2 min read
