*sigh* No, it wasn't not renamed, in the same way that a cape-wearing 4-year-old isn't actually changing his legal name to SuperBadguyKillerMan.

I mean, apparently they didn't legally but he did sign an executive order, and they do use war.gov ; so it's a de facto versus de jure situation.