Text this: Nomination of John D. Butzner, Jr., (of Virginia) To Be U.S. District Judge for the Eastern District of Virginia.