Mineral industry of Florida; [by John W. Sweeney and Earl L. Maxwell].