Wie viele Schiffe durchfahren die Bab el-Mandeb-Straße in der Woche vom 19. Oktober?