. . . . "American crocodiles can be found in the United States, including Florida and Puerto Rico" .