Ending the US War in Afghanistan? It Depends on the Meaning of the Word ‘War’