Before Tuesday, a district court had barred the Trump administration from firing federal employees en masse as his executive ...