GoodbyPolar, you're almost right.
A Closed Shop is 100% union.
An Agency Shop allows non union workers, who pay a service fee to the union.
And yes, in an agency shop, the union is still obligated to represent a non union member.
I'm pretty sure that Atlas is an Agency Shop, and will not force any resignations.