History of Florida from its discovery by Ponce de Leon, in 1512, to the close of the Florida war, in 1842