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: "Who produced the album that the single "Hail to the King" was from?" whose answer is Mike Elizondo.
Each document should contain about 30 words, and these documents should contain useful information.

Query: who produced the album Hail to the King by Avenged Sevenfold
Useful Output:

Doc 1: M. Shadows – Vocals – · Synyster Gates – Lead Guitar · Zacky Vengeance – Rhythm Guitar · Johnny Christ – Bass · Arin Ilejay – Drums
Doc 2: Hail to the King is Avenged Sevenfold's sixth studio album. It is  112.2K. Track Info. Produced by Mike Elizondo. Written by M. Shadows
Doc 3: 'Hail to the King,' produced by Mike Elizondo, will also mark the first A7X album featuring drummer Arin Ilejay. The previous disc, 'Nightmare'
Doc 4: Avenged Sevenfold - Hail To The King [Official Music Video] · Comments64K.
Doc 5: In a new interview with Bradley Hall, Avenged Sevenfold's M. Shadows revealed that the band's Hail to the King album was a more reactionary