. "Florida is a part of the eastern Gulf of Mexico sedimentary basin" . . .