Countries have largely stopped declaring war even when they send troops to overthrow a county. It's the kind of distiction the only matters in international politics.

To underscore how silly this is the last time the US “declared” war was 1942. https://en.wikipedia.org/wiki/Declaration_of_war_by_the_Unit...