Diamond Shamrock

Diamond Shamrock Corp. or Diamond Shamrock Refining and Marketing was an oil refinery and gas station company in the United States, headquartered in San Antonio, Texas.