Question: What is the official name of the municipality whose name in Spanish is Cripán?
SQL: SELECT official_name FROM table_300283_1 WHERE name_in_spanish = "Cripán"