Should US President Joe Biden be replaced on the Democratic ticket? If so, by whom, and how would that work?