District of Columbia. Change name of Supreme Court of District of Columbia to district court of United States for District of Columbia, report to accompany S. 4038 [to amend act to reorganize courts in District of Columbia]; submitted by Mr. Sumners of Texas.