Senate reports on public bills, 87th Congress. 741. Creating additional judicial district for Florida, to be known as middle district of Florida. Report from Committee on Judiciary to accompany S. 1824.