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.
North Korea calls itself the Democratic People's Republic of Korea, but nobody else calls it that. It also claims to control the entire Korean peninsula.
North Korea calls itself the Democratic People's Republic of Korea, but nobody else calls it that. It also claims to control the entire Korean peninsula.