Not really. The official name is still Dept of Defense. The executive order applies a “also known as” because the POTUS cannot change the name. There’s nothing for congress to do because the name has not officially changed. The next POTUS can simply remove this order and it’s back to DoD.