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.