It depends on their version the fcc is considering “manufactured”. If they mean it in a literal sense, there’s pretty much just starlink. If they mean it can be an American company but put together overseas then there’s plenty, like Netgear and Linksys.