
    No. 817,
    October Term, 1940.
    Royal Indemnity Co. v. United States.
    October 13, 1941.
   313 U. S. 289.  