Boundary. Establishment of boundary line between District of Columbia and Virginia, hearings, 76th Congress, 3d session, on H. R. 9976 and Nichols amendment, Oct. 2, 1940.