Are Nordstrom and Vertex Pharmaceuticals headquartered in the same state?