H.R. 9241 — A bill to designate the Birthday of Martin Luther King, Jr., as a legal public holiday. | PoliFocus