Trump touts $200B South Korean investment for Texas power, nuclear, and Alaska LNG