How major US stock indexes fared Tuesday, 12/12/2023