পর্তুগালের সামরিক বাহিনী