Divers encounter a large crocodile in a cenote river in Mexico