Forty-five years ago, the federal government decided that a number of holidays—Washington’s Birthday, Memorial Day, Columbus Day, Veterans Day and eventually Martin Luther King Jr.…