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 was labor day recognized as an official holiday?" whose answer is 1894.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when was labor day recognized as an official holiday in the us
Useful Output:

Doc 1: It became a national holiday in June 1894 when President Grover Cleveland signed the Labor Day bill into law.
Doc 2: When Labor Day became a federal holiday in 1894, unions in the U.S. were largely contested and courts would often rule strikes illegal, leading
Doc 3: When Labor Day became a federal holiday in 1894, unions in the U.S. were largely contested and courts would often rule strikes illegal, leading
Doc 4: The legal holiday was created in 1894 by 28 Stat. 96 and is observed on the first Monday of September. "American labor has raised the nation's
Doc 5: 730 to make Labor Day a federal legal holiday on the first Monday of September. It was approved on June 28, 1894. 6. The holiday has evolved