The parent probably used ’mayor’ in the general sense. Different types of administrative subdivisions have different names for their political leaders depending

The parent probably used ’mayor’ in the general sense. Different types of administrative subdivisions have different names for their political leaders depending on where they are in the world, and nobody could possibly be expected to keep track of them all. Even if they are not called mayors in this exact case you full well knew what the parent meant.