“Martin Casado advocates for a US policy that focuses on import controls to keep untrusted foreign AI models out of critical infrastructure, rather than attempting to restrict US models from being used abroad.”