When they chose Joe Biden to replace Donald Trump.