تاريخ البرتغال العسكري