Awkwardly stated.
‘Air Force One’ is a flight number not an aircraft.
That fight number is used when POTUS is on board.
Should instead say ‘used as transport for president’.
'Tis interesting gyrations to evade US sanctions.
And interesting as the airplane is French made, but the violation was that it was sold to Maduro by a US person and left the US.