Under military rule, Venezuela oil workers quit in a stampede