Men of Old Miami, 1809-1873;