¿Que es Cocodrilo marino?

Cocodrilo marino