Trump orders destruction of Iran boats laying mines