What is the official name of the municipality whose name in Spanish is Crip n?
CREATE TABLE table_31418 (
    "Official name" text,
    "INE code" real,
    "Name in Spanish" text,
    "Name in Basque" text,
    "Population (2007)" real
)
SELECT "Official name" FROM table_31418 WHERE "Name in Spanish" = 'Cripán'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the official name of the municipality whose name in Spanish is Crip n? ### Input: CREATE TABLE table_31418 (
    "Official name" text,
    "INE code" real,
    "Name in Spanish" text,
    "Name in Basque" text,
    "Population (2007)" real
) ### Response: SELECT "Official name" FROM table_31418 WHERE "Name in Spanish" = 'Cripán'