Redirecting to Military history of Portugal