A clash between a 13-foot (3.9m) python and a 6-foot (1.8m) alligator leaves the two predators dead in Florida's swamps.