We wish they claiming copyright on the domain name.

In that case, we are legally require to update all DNS servers' entries to remove that name permanently. :-)

Or alias it to 0.0.0.0 !!!