El cocodrilo sobrevivió al accidente pero fue sacrificado a machetazos por el grupo de rescatistas.