Prezident Václav Havel odletěl na dovolenou do Portugalska