Should a successor to Ruth Bader Ginsburg be appointed before the November election?