Question: What company is headquartered at a casino formerly known as Vegas World?
Sentence (from "American Casino &amp; Entertainment Properties"): The company owns the following 4 casinos: Aquarius Casino Resort, Arizona Charlie's Decatur, Arizona Charlie's Boulder, and Stratosphere Las Vegas.
Relevant evidence: No