13-foot gator in Marion County