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 columbus day made a national holiday?" whose answer is April 1934.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when was columbus day made a national holiday
Useful Output:

Doc 1: Now a federal holiday, the second Monday of October has been celebrated as Columbus Day since 1971.
Doc 2: Columbus Day became a national holiday in 1934, designated by President Franklin D. Roosevelt. It has been observed as a federal holiday on
Doc 3: Although Columbus landed in the Americas in 1492, Columbus Day as a federal holiday was not celebrated until 1937. In the same year, President
Doc 4: But in 1934, according to NPR, Columbus Day became a federal holiday  According to the National Columbus Celebration Association, the
Doc 5: Columbus Day has been marked on the second Monday in October since it became a Federal holiday in 1971. Each year, the President issues a