Saudi Arabia's Red Sea Oil Exports Jump To Nearly 4 Million bpd