Rumored Trump EO — LessWrong