The Department of Homeland Security barred federal agency use of software if DeepSeek models were utilized during the software development process