Category:Battles and operations of World War II involving Portugal