President Trump signed an Executive Order