The American aircraft carrier "Harry S Truman" leaves the Red Sea