Should the presidential candidates mics be muted in the next debate when it is not their turn?