“A Samsung union is seeking a court order to block a bonus agreement that would give semiconductor staff an average bonus of $340,000, compared to about $4,000 for workers in the digital experience division.”