عربستان سعودی به همراه یو اس اس کارنی در دریای سرخ، پنجشن