Category:Battles and operations of World War II involving independent Ireland