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 nome oficial do município cujo nome em espanhol é Cripán?
 ###Tabelas: CREATE TABLE champions_by_nationality (champions_by_nationality_id AUTO_INCREMENT PRIMARY KEY, Rank VARCHAR, Country VARCHAR, Wins INT, Winners INT, First title INT, Last title INT) CREATE TABLE general_rankings (general_rankings_id AUTO_INCREMENT PRIMARY KEY, 2005 VARCHAR, 2007 VARCHAR, 2008 VARCHAR, 2009 VARCHAR, 2010 VARCHAR, 2011 VARCHAR, 2012 VARCHAR, 2013 VARCHAR) CREATE TABLE  (_id AUTO_INCREMENT PRIMARY KEY, Official name VARCHAR, INE code INT, Name in Spanish VARCHAR, Name in Basque VARCHAR, Population (2007) INT) CREATE TABLE pocket_monsters:_diamond__&__pearl_series (pocket_monsters:_diamond__&__pearl_series_id AUTO_INCREMENT PRIMARY KEY, # INT, Japanese title VARCHAR, Rōmaji VARCHAR, Japanese translation VARCHAR, Vocalist VARCHAR, Episodes used VARCHAR) CREATE TABLE playoffs (playoffs_id AUTO_INCREMENT PRIMARY KEY, Game INT, Date VARCHAR, Team VARCHAR, Score VARCHAR, High points VARCHAR, High rebounds VARCHAR, High assists VARCHAR, Location Attendance VARCHAR, Series VARCHAR)  
SELECT Official name FROM  WHERE Name in Spanish = Cripán