Encontraron restos de un cocodrilo gigante que comía dinosaurios