Trump says US to use Iranian funds to pay for damage to ships