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.