Vaclav Havel, former Czech president, dies at 75 /Washington Post