mayor of Donostia-San Sebastián — political position in Spain