Navy Virginia-Class Submarine Program and AUKUS Submarine Proposal: Background and Issues for Congress; Oct. 23, 2023