trump on hormuz sea mines