#

Which President authorized the federal holiday to honor Dr. Martin Luther King, Jr.?