Could crew downsizing be the result of lower revenues brought on by the lower cruise fares that we're paying (in general) ?