Trump leaves the G7 summit.