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 é a população do Condado de Mayo com o Nome em Inglês Carrowteige?
 ###Tabelas: CREATE TABLE top_10_albums (top_10_albums_id AUTO_INCREMENT PRIMARY KEY, Issue Date INT, Album Title VARCHAR, Artist VARCHAR, Sales INT, Highest Position INT) CREATE TABLE camera (camera_id AUTO_INCREMENT PRIMARY KEY, Camera VARCHAR, Sensor resolution VARCHAR, Sensor VARCHAR, Output VARCHAR, CPU usage VARCHAR, IR LEDs 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 dance-offs (dance-offs_id AUTO_INCREMENT PRIMARY KEY, Week INT, Craigs vote VARCHAR, Arlenes vote VARCHAR, Brunos vote VARCHAR, Lens vote VARCHAR, Safe VARCHAR, Eliminated VARCHAR) CREATE TABLE emigration_of_jews_and_their_family_members_from_the_former_ussr: (emigration_of_jews_and_their_family_members_from_the_former_ussr:_id AUTO_INCREMENT PRIMARY KEY, Year VARCHAR, Total (000s) INT, Israel INT, Germany INT, Jews (Halakha) in Israel VARCHAR)  
SELECT Population FROM habitual_irish_speakers WHERE County = County Mayo AND English name = Carrowteige