Labor, civil rights, and the Hughes Tool Company