“Article 42.7 of the Treaty on European Union, the mutual defense clause, has only been invoked once in its history, by France.”