Vaclav Havel was elected president of?