History of Big Pine Key, Florida, 1873-1982