As originally enacted, the words “, or the district court of the United States for the District of Columbia,” were set out following “Territory or possession”. Act June 25, 1948, as amended by act May 24, 1949, substituted “United States District Court for the District of Columbia” for “district court of the United States for the District of Columbia”. The words “United States District Court for the District of Columbia” have been deleted entirely as superfluous in view of section 132 (a) of Title 28, Judiciary and Judicial Procedure, which states that “There shall be in each judicial district a district court which shall be a court of record known as the United States District Court for the district”, and section 88 of title 28 which states that “the District of Columbia constitutes one judicial district”.