Is Punxsutawney Phil the case of a well-documented cryptid?