亚丁湾进入红海入口海峡有多宽?