DOCUMENTARY HISTORY OF THE FLORIDA CANAL