Can you please point to where in the agreement it says he gets Tristar? My understanding is that he gets the planes. Which isn't the same as getting all of Tristar, legally speaking.
The DoD contract isn't with the planes, its with Tristar. In theory, if Tristar were somehow able to acquire other planes, the contract would go on as is.
If Johan wants the DoD contract, he would first need to take possession of the planes, and then he'd need to go and try and solicit the DoD on his own. I guess that seems possible. But more than likely, the DoD would be sketched out and would go back to one of the other two proposals that it received from other companies. And Johan would be left owning six planes and no government contract.