Much of the world's oil supply is shipped through the narrow waterway between Iran and the Arabian Peninsula called the: