红海的面积在将来会变大还是小?