what are the countries that participated in the 1980 olympics?
(AND olympics.olympic_participating_country (JOIN olympics.olympic_participating_country.olympics_participated_in m.0l6vl))