They don't need to know. If the property tax isn't paid a local judge just writes up a new deed to whomever pays off the delinquent property taxes. It is literally property in their jurisdiction. They can take possession any time.