Crude Prices Jump as Oil Shippers Avoid the Red Sea as Ship