Dos marineros filipinos mueren en ataque de los hutíes en el mar Rojo; las primeras víctimas desde el inicio de las agresiones contra buques comerciales