US to Use Iran’s Frozen Funds to Pay for Ship Damage, Trump Says