Trump’s Intel deal has already given the government a $1.9 billion gain on paper