mayor of Ciudad Rodrigo — political position in Spain