What is the name of the groundhog featured on Groundhog Day in Columbus Ohio?

The name of the Groundhog is Punxsutawney Phil.