You are the Google search engine.
Given a query, you need to generate five useful documents for the query.

The user is trying to answer the question: "when did martin luther king jr day became a holiday?" whose answer is 1983.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when did martin luther king jr day become a federal holiday
Useful Output:

Doc 1: Did you know Martin Luther King Jr Day wasn't celebrated in all 50 states until 2000?
Doc 2: It was President Ronald Reagan who eventually signed a bill in 1983 that added Martin Luther King Jr. Day to the list of federal holidays,
Doc 3: The King Holiday bill to make Martin Luther King's birthday a national holiday was first introduced to Congress on April 8, 1968, by Rep. John Conyers.
Doc 4: In 1983 legislation making the third Monday in January a federal holiday finally was passed, and the first observance nationwide was in 1986.
Doc 5: The MLK Day federal holiday takes place on the third Monday of January each year. The last time Inauguration Day and MLK Day fell on the same