Arbitrators' decisions on discipline of union officials, 1945-1951