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: "most amount of red cards in a football game?" whose answer is 4.
Each document should contain about 30 words, and these documents should contain useful information.

Query: most red cards in a single football game
Useful Output:

Doc 1:  match with the most cards given in a FIFA international tournament. The ref dished out 4 red cards and 16 yellows. The guinness world record for
Doc 2: Two matches hold the record for most ever red cards issued in a single match. The total? 36 red cards. The first match was a 2011 contest
Doc 3: Football Games With The Most Red Cards. 584K views · 1 year ago more. Fiago. 662K. Subscribe. 50K. Share.
Doc 4: Lukaku got a red card after scoring a penalty. against Juventus, but while. Well, let me explain. Lukaku scored a penalty. and celebrated in
Doc 5: Plymouth Argyle, 1997  The English record for red cards in a single match is five, a tally that was reached twice in 1997. In February,