 Half of them, because he moved the headquarters out to Kansas, and they couldn't move with their families, and then he downsized it. But you know the first piece of legislation that Donald Trump signed in 2017 when he became president? Just a month or so after he became president, his first piece of legislation was a bill that allows the coal mining companies to dump tailings, the waste from the mines, into rivers, and thus pollute downstream water supplies. That was his first piece of legislation. He was very proud of it.