Number of Venezuelan migrants at US-Mexico border halves