Royal Indemnity Co. No. 3946, in circuit court of appeals for 1st circuit, Oct. term, 1943, Royal Indemnity Co. v. Puerto Rico Cement Corporation; brief for United States as amicus curiae.