Crisis in Sri Lanka: Who will take over when the president steps down?