Explainer: Can you trademark a military operation?  Mint