“Samsung's union members approved a compensation deal providing chip workers with an average bonus of $340,000, thereby avoiding a strike.”