I'm sure the DoJ can find the same reference as I could: "An employer may restrict hiring to U.S. citizen only if a law, regulation, executive order, or government contract requires the employer to do so." I doubt that they failed to consider this prior to bringing enforcement action.