¿Qué países enviarán buques de guerra a través del Estrecho de Ormuz para el 31 de diciembre?