Saudi oil pipeline shutdown and Houthi control of Red Sea shipping route