I highly doubt the Biden administration or S. Thompson have read that far yet navy, lol what's even more likely is thry don't give a rats azz. If they run into a problem, Biden, Q-tip Yellen and Thompson will change whatever agreement or fabricate a new one.
Obama did it, you can bet Brandon will. He won't care and neither will Thompson. 50 years from now, when the new suits get to SCOTUS, they'll both be dead. Lol