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: "Which largest airline in Hawaii did John Carroll work as a pilot for after military service?" whose answer is Hawaiian Airlines.
Each document should contain about 30 words, and these documents should contain useful information.

Query: John Carroll largest airline in Hawaii after military service
Useful Output:

Doc 1: Trained as a combat-ready fighter pilot, after leaving the military, Carroll worked as a pilot for Hawaiian Airlines.
Doc 2: 1942 Robert J. Trivison 760-944-6964 roberttrivison@cox.net Robert Kraus, celebrating his 95th birthday writes: “The birthday party was in
Doc 3: Our dad, John Carroll, Sr., 91, of Honolulu, and Ahualoa, Big Island passed away September 19th, 2021. Dad was born in St. Mary's,
Doc 4: 17 Like Martin before him,. Welch was fascinated with the military during his time at. Purdue, especially after an Air Corps member visited his.
Doc 5: While juggling his family life, military service and work as a commercial pilot, Carroll received his law degree in 1965 and became a partner in