Thor the lion given a vasectomy in Dutch zoo