Question: The Houston Ship Channel and the Corpus Christi Ship Channel are both located in what state?

full_context: Document 1: Hong Kong shipping register: The port of Hong Kong is a deep water port located in southern China. It is one of the hub ports serving the South-East and East Asia region, and is a gateway to mainland China. The city of Hong Kong began as a colony of the United Kingdom. It was a free port, and became an international trade center connecting land and sea transport between China and other countries. The port has mature infrastructure and well-developed air-sea-land transport. It helps Hong Kong maintain its position on international trade centre and transshipment hub.
Document 2: Port of Lake Charles: The Port of Lake Charles is an industrial port based in the city of Lake Charles, Louisiana, U.S.A. It is a major employer in Lake Charles. It is the twelfth-busiest port in the United States according to the American Association of Port Authorities "U.S. Port Ranking by Cargo Tonnage, 2013" report and the 83rd-busiest in the world in terms of tonnage according to the American Association of Port Authorities "World Port Rankings 2013" report. The Calcasieu Ship Channel provides direct access to the Gulf of Mexico, 34 miles downstream from the city docks. The ship channel intersects the Gulf Intracoastal Waterway just north of Calcasieu Lake. The Ship Channel has a project depth of 40 feet and a bottom width of 400 feet.
Document 3: Ship canal: A ship canal is a canal especially intended to accommodate ships used on the oceans, seas or lakes to which it is connected, as opposed to a barge canal intended to carry barges and other vessels specifically designed for river and/or canal navigation. Because of the constraints of accommodating vessels capable of navigating large bodies of open water, a ship canal typically offers deeper water and higher bridge clearances than a barge canal of similar vessel length and width constraints.
Document 4: Industrial Canal: The Industrial Canal is a 5.5 mile (9 km) waterway in New Orleans, Louisiana, United States. The waterway's proper name, as used by the U.S. Army Corps of Engineers and on NOAA nautical charts, is Inner Harbor Navigation Canal (IHNC). The more common "Industrial Canal" name is used locally, both by commercial mariners and by landside residents.
Document 5: Bayport Terminal: The Bayport Container Terminal, or simply the Bayport Terminal, is a major deep water port in the Greater Houston area in Texas (United States). This relatively new terminal, part of the Port of Houston, is designed to handle standardized cargo containers and offload the nearby Barbours Cut Terminal, which has no further room for expansion. The Bayport Terminal is situated along the Bayport Ship Channel off Galveston Bay, between La Porte, Texas and Seabrook, Texas (adjacent to Shoreacres and El Jardin). This channel itself feeds into to the larger Houston Ship Channel, which runs from Houston, through Galveston Bay, to the Gulf of Mexico.
Document 6: Corpus Christi Harbor Bridge: The Corpus Christi Harbor Bridge is a through arch bridge located in Corpus Christi, Texas which carries six lanes of US 181 from downtown Corpus Christi to Rincon Point, known to locals as North Beach. The harbor bridge crosses the Corpus Christi Ship Channel, which serves the Port of Corpus Christi, which is one of the US's busiest seaports and handles nearly 26,000 vehicles daily. A new bridge is currently under construction, which would allow larger ships to pass beneath. It is common for individuals to attempt suicide by jumping off the Harbor Bridge.
Document 7: Manych Ship Canal: The Manych Ship Canal is a canal system between the basins of the Sea of Azov, Black Sea, and Caspian Sea. Proposals are being considered to expand the system into a larger Eurasia Canal system. The canal would be a multipurpose water-resources system and an important part of the national transport system serving internal and international Caspian oil traffic, with huge economic potential for the region. A proposed design would enlarge the Manych Ship Canal to a depth of 6.5 m and width of 80 m with traffic capacity for more than 75 million tons per year. This proposed Eurasia Canal would allow passage of vessels with a freight-carrying capacity of up to 10,000 tons. Russia's unique geographic location and transportation infrastructure does not correspond economically to the current logistics of Russian and foreign trade.
Document 8: Duluth Ship Canal: The Duluth Ship Canal is an artificial channel cut through Minnesota Point, providing direct access to Duluth harbor from Lake Superior. Begun privately in 1871, it was put under federal supervision and maintenance several years later. It is still an important component of the harbor facilities.
Document 9: Sacramento Deep Water Ship Channel: The Sacramento Deep Water Ship Channel (also known as Sacramento River Deep Water Ship Channel or SRDWSC) is a canal from the Port of Sacramento in West Sacramento, California to the Sacramento River, which flows into San Francisco Bay. It was completed by the United States Army Corps of Engineers in 1963. The channel is about 30 feet (9 m) deep, 200 feet (61 m) wide and 43 miles (69 km) long.
Document 10: Houston Ship Channel: The Houston Ship Channel, in Houston, Texas, is part of the Port of Houston, one of the US's busiest seaports. The channel is the conduit for ocean-going vessels between Houston-area terminals and the Gulf of Mexico, and it serves an increasing volume of inland barge traffic.
Document 11: Port of Texas City: 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.
Document 12: Port of Corpus Christi: Port of Corpus Christi is the fourth-largest port in the United States in total tonnage. <ref name= http://www.caller.com/story/news/special-reports/building-our-future/growth/2017/05/26/massive-tankers-arrival-south-texas-makes-history/102010600/. Port Corpus Christi is located on Corpus Christi Bay in the western Gulf of Mexico, with a straight 45 ft channel. The port is located close to downtown Corpus Christi in Nueces County, Texas, but the port is not part of the city or the county. Port Corpus Christi operates without receiving any city, county, or state tax dollars. It is governed by an unpaid board of seven citizens, three of whom are appointed by the Nueces County Commissioners Court, one by the San Patricio County Commissioners Court, and three by the Corpus Christi City Council. Port Corpus Christi handles over 6,000 vessels and over 80,000,000 tons of cargo annually. Environmental initiatives are handled through the port's Environmental Management System (EMS). To fight crime and terrorism, public safety at Port Corpus Christi is handled by the Port Corpus Christi Police Department and its state-of-the-art security center.
Document 13: National Waterway 3: The West Coast Canal or National Waterway No 3 is a 168-km stretch of this inland navigational route located in Kerala, India and runs from Kollam to Kottapuram and was declared a National Waterway in 1993. In addition to the main stretch, Champakara and Udyogmandal canals are navigable and connect the industrial centers of Kochi to Kochi port Inland Waterways Authority of India (IWAI) under the Ministry of Shipping is coordinating the task for developing, monitoring and administering national waterways. It is the first National Waterway in the country with 24-hour navigation facilities along the entire stretch.It has been extended to Kozhikode as per National Waterways Bill, 2015.
Document 14: Coast Guard Air Station Corpus Christi: Coast Guard Air Station Corpus Christi is an Air Station of the United States Coast Guard located in Corpus Christi, Texas. The Station is co-located with Sector Corpus Christi offices at Naval Air Station Corpus Christi. The Coast Guard Air Detachment was established on 20 November 1950, and served the entire western Gulf of Mexico with one PBY-5 Catalina fixed wing aircraft, and four pilots. In 1965, the detachment was formally designated USCG Air Station Corpus Christi. Early aircraft consisted of HU-16E Albatross, HH-52A Seaguard helicopter, HC-131 Samaritan, and HU-25A fanjet's. Following extensive personnel and equipment changes in the operations department, the air station became fully operational on October 15, 1980, and operated as one of thirteen Coast Guard Group units between Port O'Connor, Texas and the Mexican border. The Station, maintained a 24-hour Search and rescue capability, with the use of three HH-52A helicopters and three HU-25A fanjet's. The Unit averaged over 400 rescues a year, which included searches for overdue vessels, assisting sinking or disabled boats, and medical evacuations from offshore oil rigs. In the spring of 1986 the station's HH-52s were replaced with the Aérospatiale HH-65 Dolphin helicopter. In May 2005 the Coast Guard commissioned Air station Corpus Christi to combine all the units within the area of Port Lavaca to Brownsville under one unified command.
Document 15: Corpus Christi Ship Channel: The Corpus Christi Ship Channel is a deep water navigable ship canal located in Corpus Christi, Texas. It is part of the Port of Corpus Christi, managed and controlled by the Corpus Christi Port Authority. The depth of the channel is 45 feet (13.7 meters). It is used mostly for heavy industry and the export and import of goods.
ground_truth: Texas