Email Record: Designation of the Birthday of Martin Luther King, Jr., as a Legal Holiday.