“The military operation known as Project Freedom to secure the Strait of Hormuz is not separate from activities that require congressional authorization.”