The military is part of the Department of Defense/War. That’s a federal executive department. I understand what you’re getting at, but it seems weird to say it’s only kinda the Feds.