Trump will host top tech CEOs except Musk at a White House dinner. pbs.org