Funny, there is a law with trademark registration...
If it has been in the "public domain" for more than a year, it can not be trademarked. That trademark is completely null and void. Anyone can prove it was out for over a year, prior to registration. (Somewhere in the application, you had to agree that "this is an original trademark, outside the use of public domain".)