Ruth Bader Ginsburg is dead