On 25 February 1991, the Pact was declared at an end at a meeting of defense and foreign ministers from the remaining member states meeting in Hungary. Who was the president of Czechoslovakia during the dissolution of the Warsaw Pact?