Trump: US will use Iranian money to pay for ship damages