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 has the most interceptions of all time?" whose answer is Paul Krause.
Each document should contain about 30 words, and these documents should contain useful information.

Query: most interceptions in NFL history
Useful Output:

Doc 1: In 1950, Chicago Cardinals quarterback Jim Hardy set the record for most interceptions in a single NFL game. He had eight interceptions in
Doc 2: Testaverde is the only player since 1980 to throw more than 30 interceptions in an NFL season, and he sits comfortably ahead of that with 35.
Doc 3: I will never forget screaming at the TV when Malcom Butler made that interception. One of the greatest moments in NFL history!
Doc 4: Most interceptions in nfl history 2025  SPORTS LIST OF THE DAY 2025, Marcus Peter leads the NFL since 2015 with most interceptions at 19.  thelineofscrimmage
Doc 5: List of NFL career interceptions leaders Wikipedia There have been 39 players who have recorded at least 50 interceptions Paul Krause is the all time leader