The US export credit agency has unlocked key funding for TotalEnergies’ massive LNG project which was halted after militant attacks