A Christmas alligator in Florida.