Los cocodrilos marinos se extinguieron mucho antes que el último de los dinosaurios no avianos.