Question: what day is the federal holiday for Martin Luther King Jr.?
Would "Ronald Reagan signed the holiday into law in 1983, and it was first observed on January 20, 1986." be a reasonable answer? 