Virus gives Sri Lanka’s threatened elephants a reprieve