But the federal Equal Employment Opportunity Commission is now run by ...