Synopsis of saltwater intrusion in Dade County, Florida, through 1984 Yale Public content