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 todas as minas subterrâneas no estado de Washington.
 ###Tabelas: 
CREATE TABLE mine_details (id INT, name VARCHAR(50), state VARCHAR(50), type VARCHAR(50)); INSERT INTO mine_details VALUES (1, 'Mine P', 'Washington', 'Underground'), (2, 'Mine Q', 'Washington', 'Open Pit'), (3, 'Mine R', 'Washington', 'Underground');
SELECT name, state FROM mine_details WHERE state = 'Washington' AND type = 'Underground';