红海平均宽度约为多少海里