Gulf Public Service Company. No. 9680, in circuit court of appeals for 5th circuit, National Labor Relations Board v. Gulf Public Service Company, on petition for enforcement of order of National Labor Relations Board; brief for National Labor Relations Board.