Mar Rosso e Prosperity Guardian: quali altre opzioni per Washington?