BK-1 is out.
Looks like the previous proposal for the U.S. to trade BK-1 to the USMC failed. The trade idea was hatched when the U.K. dumped the F-35B STOVL (138 orders previously 150) in favor of the carrier F-35C variant.
They should have traded.
BK-1 will need a wing fix; a bulkhead fix and who knows how many other mistake-jet fixes.