The US Export-Import Bank is providing a $4.7 billion loan to TotalEnergies for a LNG