Czechoslovak presidential election, 1980 (WFAC)