Marine insurers halt war risk coverage as US and Israeli attacks escalate tensions in the Persian Gulf