 And checking overseas, Asian stocks are mainly higher this time around this check. The exception, the Hang Seng, which is down 43 points. Otherwise, the Shanghai is up almost 9. The Kospi is up 5. The Nikkei is up 947 points. Good morning. Glad you're with us here at WTOP. Welcome in. It's 142 in the morning on your Tuesday. This is WTOP News. Facts Matter.