No! Rest assured crocodiles are only found in brackish water mangrove lagoons, NOT in the fresh waters of cenotes open for swimming and snorkeling like Cristalino.