har Europas militärbudget mer än tredubblats.