Se han identificado dos tipos de cocodrilos marinos.