Database: geo
Question: what is the length of the colorado river in texas
SQL:
SELECT LENGTH FROM river WHERE river_name  =  "colorado" AND traverse  =  "texas";