13-foot gator pulled from swimming zone at Florida spring