Question: Which Texas city is known for gambling and is home to the Texas Lottery?
Context: The Texas Lottery is the government-operated lottery available throughout Texas.  It is operated by the Texas Lottery Commission, headquartered in downtown Austin. The Port of Texas City is a major deepwater port in Texas City, Texas at Galveston Bay, United States.  Its location on the bay, which is used by the Port of Houston and the Port of Galveston, puts Texas City in the heart of one of the world's most important shipping hubs.  s of 2008 the Port of Texas City was the 14th leading port in the United States by total tons of trade and as of 2007 it was the 87th leading port in the world, according to the American Association of Port Authorities. Legal forms of gambling in the U.S. state of Texas include the Texas Lottery; parimutuel wagering on horse and greyhound racing; charitable bingo, pull-tabs, and raffles; and three Indian casinos. Texas City Independent School District is a public school district based in Texas City, Texas.  It serves most of Texas City and La Marque as well as a portion of Tiki Island. The Texas City Refinery explosion occurred on March 23, 2005, when a hydrocarbon vapor cloud was ignited and violently exploded at the ISOM isomerization process unit at BP's Texas City refinery in Texas City, Texas, killing 15 workers, injuring more than 180 others and severely damaging the refinery.  The Texas City Refinery was the second-largest oil refinery in the state, and the third-largest in the United States with an input capacity of 437000 oilbbl per day as of January 1, 2000.  BP acquired the Texas county refinery as part of its merger with Amoco in 1999. The Davison Home is a Victorian structure built between 1895 and 1897 by Frank B. Davison (1855–1935), a pioneer of Texas City, Texas, and his wife Florence Grace Haven.  It is currently operated as a museum by the Texas City Historical Association in the city originally known as Shoal Point. Texas City High School (TCHS) is a public high school in Texas City, Texas in Greater Houston.  It is one of two high schools in the Texas City Independent School District (TCISD). Texas City is a city in Galveston County in the US state of Texas.  Located on the southwest shoreline of Galveston Bay, Texas City is a busy deepwater port on Texas' Gulf Coast, as well as a petroleum refining and petrochemical manufacturing center.  The population was 45,099 at the 2010 census, making it the third-largest city in Galveston County, behind League City and Galveston.  It is a part of Houston–The Woodlands–Sugar Land metropolitan area.  The city is notable as the site of a major explosion in 1947 that demolished the port and nearly destroyed the city. The Texas City Terminal Railway is an American terminal railroad that operates 32 mi of track at the Port of Texas City in Texas City, Texas.  Established in 1921, the TCTR is jointly owned by the Union Pacific Railroad and BNSF Railway. The Texas City disaster was an industrial accident that occurred April 16, 1947, in the Port of Texas City.  It was the deadliest industrial accident in U.S. history, and one of the largest non-nuclear explosions.  Originating with a mid-morning fire on board the French-registered vessel SS "Grandcamp" (docked in the port), her cargo of approximately 2,200 tons (approximately 2,100 metric tons) of ammonium nitrate detonated, with the initial blast and subsequent chain-reaction of further fires and explosions in other ships and nearby oil-storage facilities.  It killed at least 581 people, including all but one member of the Texas City fire department.  The disaster triggered the first ever class action lawsuit against the United States government, under the then-recently enacted Federal Tort Claims Act (FTCA), on behalf of 8,485 victims.
Answer: Austin