Will the death of Alex­ey Naval­ny change Russ­ian pol­i­tics?