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: Qual é o condado para o nome irlandês Carna?
 ###Tabelas: CREATE TABLE release_details (release_details_id AUTO_INCREMENT PRIMARY KEY, Country VARCHAR, Date VARCHAR, Label VARCHAR, Format VARCHAR, Catalogue VARCHAR) CREATE TABLE election_results_1945–2000 (election_results_1945–2000_id AUTO_INCREMENT PRIMARY KEY, Election INT, # of candidates nominated INT, # of seats won INT, # of total votes INT, % of popular vote VARCHAR) CREATE TABLE habitual_irish_speakers (habitual_irish_speakers_id AUTO_INCREMENT PRIMARY KEY, County VARCHAR, English name VARCHAR, Irish name VARCHAR, Population INT, Irish speakers VARCHAR) CREATE TABLE translators (translators_id AUTO_INCREMENT PRIMARY KEY, Call sign VARCHAR, Frequency MHz INT, City of license VARCHAR, ERP W INT, Class VARCHAR, FCC info VARCHAR) CREATE TABLE current_models (current_models_id AUTO_INCREMENT PRIMARY KEY, Model VARCHAR, Released INT, Sensor Size VARCHAR, Resolution VARCHAR, Active Pixels VARCHAR, ISO range VARCHAR, Dynamic range (f-stops) INT, Seconds/Frame INT, Lens conversion factor INT, Display VARCHAR, Storage VARCHAR)  
SELECT County FROM habitual_irish_speakers WHERE Irish name = Carna