Trump says the ceasefire with Iran is over.