¿Cuántos barcos transitan la semana del estrecho de Bab el-Mandeb del 19 de octubre?