红海是逐渐变大还是变小的呢