Portugal aux Jeux olympiques d'été de 1980