Have you ever heard of a hop hornbeam?

The city where I live has a very good forestry department, and many lots have one or two trees owned by the city. Several years ago, one of the city trees on my lot had to be removed due to disease, with plans to replace it. Due to the drought of recent years, there was a hiatus placed on new trees, which was lifted this year. I have just been informed that they will be replacing the old tree with a Hop Hornbeam. I have never heard of this type tree. Can anyone help me visualize it?