Mehhhh. I actually like Armada, but as someone else said it sounds like a MLS or WNBA name. Washington Commanders sounds better than Washington Defenders IMO. And I know they'd never drop Washington, but I think DC Defenders would work better for that name.
Red Hogs tie in to the team's history quite well. I would lean toward Red Hogs or Commanders.
And even though it's become popular among some fans, I've never understood the appeal of keeping it WFT. It's too meta, almost gimmicky. Like the sports team version of "The Artist Formerly Known as Prince".