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 they finish making the last jedi?" whose answer is September 2017.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when was the last jedi production completed
Useful Output:

Doc 1: Production designer Rick Heinrichs discusses his experiences in taking Star Wars: The Last Jedi from concept to screen.
Doc 2: December 15 saw the release of Star Wars: The Last Jedi, the eighth entry in the episodic film saga and the third to be released since its
Doc 3: The Last Jedi is officially complete. Director Rian Johnson announced on Instagram that post-production has wrapped on the next Star Wars
Doc 4: 'Star Wars: The Last Jedi' opened 5 years ago today. Costing between $200-$317 million, it grossed $1.333 billion and pocketed a net profit of over $417
Doc 5: After completing his stint on The Force Awakens, Jenkins moved straight on to The Last Jedi. There, he spent approximately 15 months in