A redbud tree, or not a redbud?

Redbud tree or not redbud tree, that is the question!

There are a lot of redbud trees blooming in the spring.  Most of what people seem to call redbuds are like this tree. . .

It’s an Eastern Redbud tree. They don’t really have what I’d call red buds, but more of a light purple-pink sort of deal.

However, we had a tree growing at the edge of our woods that DOES have a true red bud.

It’s a pretty tall tree, taller I think than most Eastern Redbud trees.

Here’s a closer look at the top of the tree. . .

And here’s a closer look at one of the stems with the red buds. . .

So, my question is…. What is this tree? 

And no, this is not an April Fool’s Day joke.  I seriously do not know what kind of tree this is, and if anyone out there does, I’d love to hear from you!