I read that a lot of people copyrighted a bunch of the good names that Washington wanted to use and Snyder didn't wanna come up off any $$$, so they're gonna roll with the WFT for a while
Yeah one guy has been trademarking possible names since the 80s