https://en.wikipedia.org/wiki/List_of_mayors_of_the_50_largest_cities_in_the_United_States
Surprises me its 13
Tks