United States district court
Administrative Office of the United States Courts
Miami-Dade County
Florida
Government
Magistrate
United States magistrate judge
Title 28 of the United States Code