The Raptor being sold overseas was prohibited specifically by the Obey Amendment, there’s no specific US instrument to prohibit the sale of the Virginia class as far as I’m aware.
Congressional approval is obviously not a done deal but it’s far from impossible in this case.