Executive Order 13959: War with China?