How many trees in the US?