Quais países enviarão navios de guerra pelo Estreito de Ormuz até 31 de dezembro?