“Civilian employee” means a civilian employee of the United States Department of Defense.