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