No SECDEF with defense contractor ties, House progressives ask of Biden