Personal del Museo de la Tortuga Marina desconoce la fecha exacta del robo del cocodrilo fosilizado; trabajadores del museo se dieron cuenta luego de hacer la limpieza.