Or is it simply Trump is going to use Russian companies to do the mining and split the minerals?