红海的面积是在缩小还是在扩大?