“ No Duplicate Payment of Expenses.—No expenses may be paid under this section if those expenses are paid from Government funds under section 5742 or any other authority. “ (c) Definitions.—For purposes of this section— “ (1) the term ‘covered employee’ means— “ (A) a law enforcement officer, as defined in section 5541; “ (B) any employee in or under the Federal Bureau of Investigation who is not described in subparagraph (A) ”