CREATE TABLE table_31418 ("Official name" TEXT, "INE code" FLOAT, "Name in Spanish" TEXT, "Name in Basque" TEXT, "Population  ( 2007 ) " FLOAT)

What is the official name of the municipality whose name in Spanish is Crip n?
SELECT "Official name" FROM table_31418 WHERE "Name in Spanish" = 'Cripán'
SELECT "Official name" FROM "table_31418" WHERE "Name in Spanish" = 'Cripán'