Mason, who has been with the city’s police department since 2012, recently served as interim chief.