The justice department is a federal agency.