Navy Virginia-Class Submarine Program and AUKUS Submarine Proposal: Background and Issues for Congress