<a href="https://en.wikipedia.org/wiki/Václav_Havel" id="mwAXo" rel="mw:WikiLink" title="Václav Havel">Václav Havel</a> resigns as president of <a href="https://en.wikipedia.org/wiki/Czechoslovakia" id="mwAXs" rel="mw:WikiLink" title="Czechoslovakia">Czechoslovakia</a>.