‘invasion’ vs ‘military operation’