How major US stock indexes fared Tuesday, 10/17/2023