number of mayors