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 is the current manager of the semi-professional football club from Northern Ireland that once had Paul McAreavey as a player?" whose answer is David Jeffrey.
Each document should contain about 30 words, and these documents should contain useful information.

Query: current manager of Ballinamallard United
Useful Output:

Doc 1: Manager Darren Mullen reacts to today's 1-1 draw away to  Here's what they think now. CNN New 480K views · 2:44 · Go to channel
Doc 2: Ballinamallard 3. Manager, Mark Stafford · To the match sheet. Quick Links. Most valuable players in the world Latest transfers Latest rumours
Doc 3: Mallards Manager Mark Stafford spoke to us after his sides victory over Ballymacassh in the Irish cup · We will host Premiership side @
Doc 4: Post Match Interview: Limavady United Manager Barry Baggley talked to Wayne after tonight's game with Limavady. He reflects on how it went,
Doc 5: Championship club Ballinamallard United have confirmed the appointment of former Linfield star Mark Stafford as their new manager.