Has Europe spent more on Russian oil and gas than aid to Ukraine, as Trump claims?