Cuando quieras saber el nombre oficial de un municipio es conveniente consultar en el Registro de Entidades Locales, del Ministerio de Política Territorial, que tiene la competencia para registrar los nombres oficiales de provincias, municipios, entidades inferiores a municipios, islas, etc:
Puedes echar también un vistazo, si quieres, en la página del INE:
