A trademark dispute scuttled its plans to relaunch as The Washington Star, so the site chose a different name.