Investors say banks have halted PDVSA trading after U.S. sanctions