Emittente: ‘CITGO PETROLEUM’