mayor of Pantón — political position in Spain