where was the 1980 winter olympics hosted?
(AND olympics.olympic_host_city (JOIN olympics.olympic_host_city.olympics_hosted m.0sx8l))