Vad är namnet på groundhog på Groundhog Day i Columbus Ohio?

Groundhog heter Punxsutawney Phil.