Will the Closure of the Strait of Hormuz Force Arab Gulf Crude Oil Exporters to Shut-in Production?