including hundreds of workers from state oil giant PDVSA.