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: "Paul Bunyan, released in which year, is an animated musical short film, Thurl Ravenscroft starred as the voice of Paul Bunyan?" whose answer is 1958.
Each document should contain about 30 words, and these documents should contain useful information.

Query: Paul Bunyan animated musical short film Thurl Ravenscroft voice release year
Useful Output:

Doc 1:  Release date: August 1, 1958 Running time: 17 minutes.  " Cast and crew: Voice: Thurl Ravenscroft Chorus: The Mellomen
Doc 2: " or "The Paul Bunyan Song "was released as an animated short in 1958 by Disney. It was originally performed by Thurl Ravenscroft and The
Doc 3: Paul Bunyan is a 1958 animated musical short film released by Walt Disney Studios. It was based on the North American folk hero and lumberjack Paul Bunyan.
Doc 4: 7376 Likes, 53 Comments. TikTok video from Bobby Waters (@the.bobbybass): “Take a trip down memory lane with the classic Paul Bunyan Disney
Doc 5: Paul Bunyan is a 1958 American animated musical short film produced by Walt Disney Productions.[1] The short was based on the North American folk hero and