principal officer means, with respect to the Internal Revenue Service— (A) any employee whose position is listed under the Internal Revenue Service in the most recent version of the United States Government Manual published by the Office of the Federal Register