پولیتیکو: هر تنشی در دریای سرخ به ضرر بایدن است