Monitoring the Red Sea: Washington’s Dilemma