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

What is the official name of the municipality whose name in Spanish is Vitoria?
SELECT "Official name" FROM table_31419 WHERE "Name in Spanish" = 'Vitoria'
SELECT "Official name" FROM "table_31419" WHERE "Name in Spanish" = 'Vitoria'