US launches $20 billion maritime reinsurance program for Gulf shipping.