Capture of Nile crocodile adds to Everglades invasion risk

They are starting a criminal investigation into who and how this type of crocodile was introduced to the Everglades. Click title for link to article. I wonder if they eat Burmese pythons?

The ante just went up on threats from exotic invaders in the Everglades with the capture of a Nile crocodile Sunday.
Although American crocodiles — rare and shy of humans — are occasionally seen in the northern Florida Keys, only a few Nile crocodiles have been spotted and captured in the Everglades. Nile crocodiles are much more aggressive, prefer larger prey and responsible for the deaths of hundreds of people in Africa every year.
Nile and American crocodiles average 13 to 16 feet and can weigh more than 1,000 pounds. However, it is not uncommon for male Nile crocodiles to reach 20 feet and weight 2,000 pounds.