Gigantesco cocodrilo, Everglades City