They turned it into Walmart.