Trump's formal creation of the Department of Government Efficiency sparks lawsuits