“The United Kingdom, United States, and Australia have agreed to the AUKUS submarine program, which is described as the most ambitious in history.”