Yes. Red finishes correctly. She crosses the finishing line in the direction of the course from the last mark. The string representing her wake (see rule 28.2) after starting and until fiinishing would when drawn taut pass each mark on the required side. Rule 28.2 does not prohibit extra turns around a mark. See also case 90.