How does one use this: https://pulumi.io/reference/pkg/python/pulumi_openstack/networking/#pulumi_openstack.networking.get_network ? I'm trying to get the ID of the external network for my router but can't seem to get that.