So apparently this government agency is routing all of its network traffic through a firewall in... AWS...