The pipeline's restart substantially reduces the global economic impact of attacks on Gulf shipping