Despite Hormuz Uncertainty, U.S. Stocks Fall While Korean Semiconductors and Overnight Futures Hold Up