Question: what day is the federal holiday for Martin Luther King Jr.?
Would "Martin Luther King, Jr. Day is a United States federal holiday marking the birthday of Rev. Dr. Martin Luther King, Jr." be a reasonable answer? 