كم يبلغ طول البحر الأحمر