Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Liste os nomes de todas as barragens localizadas no Texas.
 ###Tabelas: 
CREATE TABLE Infrastructure (id INT, name VARCHAR(100), type VARCHAR(50), location VARCHAR(100), state VARCHAR(50)); INSERT INTO Infrastructure (id, name, type, location, state) VALUES (2, 'Hoover Dam', 'Dam', 'Nevada', 'Nevada');
SELECT name FROM Infrastructure WHERE type = 'Dam' AND state = 'Texas';