Classic trolley problem: there are about 1.1 million high school teachers in the US. Collectively, they produce less GDP than Elon Musk...

But apparently Elon is more valuable, so goodbye high schools, choo-choo.