Rebuttal to Derek Johnson's video about EO 13848 and EO 13961