Trump says to destroy mines Iranians laid in Hormuz Strait