Red Sea Diversions Increase Seafarer Satisfaction & Decrease Stress Levels