Database: geo
Question: what is the river with max length in texas state
SQL: select river_name from river where length  =  ( select max ( length ) from river where traverse  =  "texas" ) and traverse  =  "texas"