what are the lakes in states bordering texas
SELECT lake_name FROM lake WHERE state_name IN ( SELECT border FROM border_info WHERE state_name  =  "texas" );
SELECT lake_name FROM lake WHERE state_name IN ( SELECT border FROM border_info WHERE state_name  =  "texas" );
[{'Nenhum': 'Nenhum resultado encontrado'}]