The D.C. mayor’s race is crowded. Seven Democratic candidates are…