what is the population whose district/city is presided over by the mayor , who is elected at large ?
380,200